Categorial Formalisation of Relativisation: Pied Piping, Islands, and Extraction Sites *

This work formulates a grammar of English relativisation on the monostratal ruleto-rule design. Specification of a language model under this design is usually the interactive result of fixing a lexical categorisation and a notion of syntactic consequence (defined by specifying rules of formation). The language model is the closure of the lexicon under syntactic consequence. Our model however is specified in the formalism of categorial logic, by which we refer to enrichments of Lambek categorial grammar (Lambek 1958, 1961) with additional category-constructors. Lambek calculus proffers a system of categorisation in which the notion of syntactic consequence is fixed by defining an interpretation of category formulas. Thus the notion of syntactic consequence is defined logically (i.e. in virtue of interpretation), and rules of syntax just serve to calculate, not to define.